基于解析冗余的容错控制--控制率重构研究

研究了基于解析冗余的容错控制--控制率重构方法,分析了控制系统中传感器出现故障时其输出信息重构的问题,并针对核反应堆控制系统进行了仿真试验.由试验结果看出,传感器输出信息重构方法是正确的.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

美国太空安全领域最新发展分析

美国认为太空已被普遍认定为最重要的作战域之一,未来的太空安全态势将愈发严峻。本文认为, 美国正面向未来太空对抗环境进行全面转型, 从顶层战略、作战理论、组织结构、战备训练、装备技术等方面开展研究、调整和长远布局, 如以我为主要对手谋划布局、发布系列军事航天顶层指导文件、大幅增加太空攻防作战相关经费投入等。 目前, 美军正处于新旧体系转换、 下一代能力构建发展的关键期, 不仅正在变革军队组织体制、重组太空攻防作战力量, 还积极开展系列演习演训, 以加速形成太空攻防实战能力。美军这一系列动向将对未来太空领域安全与发展产生重大影响, 应引起我高度重视。     

An historical review of US defense strategy from Vietnam to operation Iraqi freedom

Facing nearly half a billion dollars in spending cuts over the next five years, US defense planners and strategists must simultaneously rebuild a war-weary Army weakened from over a decade of war, build new sea and air capabilities for the Pacific theater, and reduce manpower, procurement, and contractor budgets while promoting innovation. The US defense department is embarking on what may be the most sweeping period of defense transformation in recent memory. This article reviews the history of American defense transformation, focusing on an important but largely overlooked period of military innovation that began in the shadow of Vietnam and ended with troops fighting through blinding sandstorms at night on the road to Baghdad. The multifaceted transformation strategy conceived in the 1970s paved the way for a military revolution in the 1990s and enabled unprecedented battlefield adaptation in the 2000s. After reviewing the revolutionary changes that led to American dominance in conventional warfare in the 1990s, the article examines US transformation policies in the 2000s to inform defense strategy and planning efforts in the 2010s.     

The elephant in the room: US ballistic missile defence under Barack Obama

Conventional wisdom seems to hold that under Barack Obama, the US ballistic missile defence programme has been pushed aside to allow for a refreshed domestic and international agenda. Proponents point to Obama's campaign thinking and rhetoric, the ballistic missile defence (BMD) budget cuts, the decision to end the Third Site in Europe, and the reset relations with Russia through the New Strategic Arms Reduction Treaty (New START) as evidence that the programme has undergone a significant period of change, retraction and rationalisation. This article argues instead that BMD has not fallen from prominence and that there is a change in focus rather than retraction of its strategic goal. Consequently, BMD continues to grow in importance as a component of US national security strategy.     

基于AMESim的液压混合动力车辆建模仿真研究

在阐述并联式液压混合动力车辆的结构原理及液压系统参数设计的基础上,利用AMESim创建了整车模型。根据液压混合动力系统的工作特性,以改善车辆燃油的经济性为目标,提出了基于车辆扭矩需求的发动机和液压泵/马达扭矩控制策略。仿真结果表明:该混合动力系统能合理控制扭矩分配,实现不同工作模式的平顺切换,在满足车辆动力性能指标的前提下,有效地提高了燃油的经济性。     

基于自适应变异粒子群算法的火力分配方法研究

针对最优火力分配的特点,分析了火力分配优化问题的数学模型,设计了一种求解该类问题的自适应变异粒子群算法（Adaptive Mutation Particle Swarm Optimization, AMPSO）。该算法采用十进制编码方法和基于数值运算的个体更新方法;为平衡算法的局部搜索能力和全局收敛性能,设计了一种关键参数自适应调整方法;为增强种群在进化后期的多样性,提出了一种变异策略。仿真结果表明,所提AMPSO算法具有良好的寻优性能,是优化火力分配的一种有效算法。     

基于半马氏决策过程的电容器维修策略优化

针对电容器随机劣化失效的特点,采用半马氏决策过程解决其预防性维修方案设计和维修策略优化问题.在电容器随机劣化的Gaussian-Poisson模型基础上,以检测周期为优化变量,同时考虑预防性维修次数阈值的影响,建立电容器长期运行费用率优化模型.分析表明,对该型号电容器来说,预防性维修相比于事后修理更加有利于节省部件长期运行的费用率.     

航空集群机载网络Failure-Oblivious路由策略

航空集群机载网络作为集群成员间信息交互的纽带,其路由策略性能优劣直接影响信息传输实时性与可靠性,从而制约网络化集群作战效能发挥.考虑到航空集群机载网络具有诸多不确定性,为应对路由失效以及尽可能避免路由更新,从路由选择算法的角度,在软件定义网络架构下提出Failure-Oblivious路由策略.与传统路由策略不同的是,...